大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

0
索取号：
作者：Dumas、 Marlon.、Heckel、 Reiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Information Security Practice and Experience [electronic resource] : 4th International Conference, ISPEC 2008 Sydney, Australia, April 21-23, 2008 Proceedings

0
索取号：
作者：Chen、 Liqun.、Mu、 Yi.、Susilo、 Willy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Doping in Sports: Biochemical Principles, Effects and Analysis [electronic resource]

0
索取号：
作者：Thieme、 Detlef.、Hemmersbach、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Multi-Agent Systems [electronic resource] : 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

0
索取号：
作者：Dastani、 Mehdi.、El Fallah Seghrouchni、 Amal.、Ricci、 Alessandro.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

0
索取号：
作者：Garrigue、 Jacques.、Hermenegildo、 Manuel V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Breast Augmentation [electronic resource] : Principles and Practice

0
索取号：
作者：Shiffman、 Melvin A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Argumentation in Multi-Agent Systems [electronic resource] : 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers

0
索取号：
作者：Rahwan、 Iyad.、Parsons、 Simon.、Reed、 Chris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

0
索取号：
作者：Pautasso、 Cesare.、Tanter、 脡ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

LATIN 2008: Theoretical Informatics [electronic resource] : 8th Latin American Symposium, B煤zios, Brazil, April 7-11, 2008. Proceedings

0
索取号：
作者：Laber、 Eduardo Sany.、Bornstein、 Claudson.、Nogueira、 Loana Tito.、Faria、 Luerbio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

0
索取号：
作者：King、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Genetic Programming [electronic resource] : 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

0
索取号：
作者：O鈥橬eill、 Michael.、Vanneschi、 Leonardo.、Gustafson、 Steven.、Esparcia Alc谩zar、 Anna Isabel.、Falco、 Ivanoe.、Cioppa、 Antonio.、Tarantino、 Ernesto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications

0
索取号：
作者：Raedt、 Luc.、Frasconi、 Paolo.、Kersting、 Kristian.、Muggleton、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

0
索取号：
作者：Woods、 Roger.、Compton、 Katherine.、Bouganis、 Christos.、Diniz、 Pedro C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Jo、 Geun Sik.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院